Data/hora: 16/05/2024 14:36:58

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 12/05/1993
Data da última atualização: | 21/12/2010
Autoria: | HIGA, R. H.
Afiliação: | ROBERTO HIROSHI HIGA, CNPTIA.
Título: | Especificação formal por traços, composição de componentes e protótipos de ferramentas.
Ano de publicação: | 1993
Fonte/Imprenta: | Campinas: EMBRAPA-CNPTIA, 1993.
Páginas: | 90 p.
Idioma: | Português
Conteúdo: | Especificação formal por tracos. Especificações formais executáveis em Prolog. Especificação de tipos compostos. Protótipos de ferramentas construídos. Gatinha. A ferramenta para teste. Tradutor traços-C. Bibliografia. Apêndice I: Especificações. Apêndice II: Programas Prolog correspondentes. Apêndice III: Especificações compostas.
Palavras-Chave: | Componentes de software; Components composition; Composição de componentes; Engenharia de softaware; Especificação formal por tracos; Formal specification; Prototipes of tools; Prototipos de ferramentas; Software components; Software engineering; Specification of software; Traces.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (1628-1) - UMT - NC - PP -  -  - 1993.00008 - DIS